Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
4

A New Method for Transforming Timed Automata

Рік:
2005
Мова:
english
Файл:
PDF, 484 KB
english, 2005
5

SetExp: a method of transformation of timed automata into finite state automata

Рік:
2010
Мова:
english
Файл:
PDF, 1.79 MB
english, 2010
12

Diagnosis of Faults in Real-Time Discrete Event System

Рік:
2009
Мова:
english
Файл:
PDF, 316 KB
english, 2009